An Intelligent Tutoring System for Induction Proofs
نویسندگان
چکیده
منابع مشابه
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of the q-matrix method, an educational data mining technique, to the problem of analyzing formal proofs. Our results indicate that automated analysis of formal proof data can provide an intelligent tutoring system with us...
متن کاملUsing Case-Based Planning in Designing and Planning a Multiagent System
Designing and planning in multiagent systems (MAS) can be an example of planning problems, which has been recently known as a powerful processing tool in transactional and interactional environments. Case-based planning (CBP) which is an induction-based mechanism, has many applicational abilities in these problems. Intelligent tutoring system that have kept the most attention in the computation...
متن کاملAn Intelligent Algorithm based Controller for Multiple Output DC-DC Converters with Voltage Mode Weighting Factor
Multiple output DC-DC converters are widely used in many applications such as aerospace, industrial and medical equipments. The purpose of this paper is to present an intelligent control system for the multiple output DC-DC converters. In order to perform this purpose, a double ended forward DC-DC converter with three output voltages (+5 V/ 50W, +15 V/ 45W and -15 V/ 15W) is considered and anal...
متن کاملInteractive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e., additional lines or points) to aid proof discovery. Although there exist many intelligent tutoring systems proposed for geometry proofs, few teach students how to find auxiliary constructions. And the few exceptions are all lim...
متن کاملResource-Bounded Modelling and Analysis of Human-Level Interactive Proofs
Mathematics is the lingua franca of modern science, not least because of its conciseness and abstractive power. The ability to prove mathematical theorems is a key prerequisite in many fields of modern science, and the training of how to do proofs therefore plays a major part in the education of students in these subjects. Computer-supported learning is an increasingly important form of study s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007